﻿using System;
using System.Text;
using System.Collections.Generic;
using System.Linq;
using Microsoft.VisualStudio.TestTools.UnitTesting;
using Microsoft.Pex.Framework;
using System.IO;

namespace ResultTracking
{
    [PexClass, TestClass]
    public partial class UnitTest1
    {
        [PexMethod, ResultTracing]
        public void Foo()
        {
            File.WriteAllBytes("foo", new byte[] { 1, 2, 3 });
            var text = File.ReadAllText("foo");
            if (text[2] == 4) throw new Exception("impossible");
        }
    }
}